law of excluded middle (0 synonym found)
Definition of law of excluded middle:

°An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: . This law is rejected by intuitionistic logic.
Definition of law of excluded middle:

°An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: . This law is rejected by intuitionistic logic.
Back to Top